大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Advances in XML Information Retrieval and Evaluation [electronic resource] : 4th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2005, Dagstuhl Castle, Germany, November 28-30, 2005. Revised Selected Papers

0
索取号：
作者：Fuhr、 Norbert.、Lalmas、 Mounia.、Malik、 Saadia.、Kazai、 Gabriella.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Cinderella.2 Manual [electronic resource] : Working with The Interactive Geometry Software

0
索取号：
作者：Richter-Gebert、 J眉rgen.、Kortenkamp、 Ulrich H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Privacy Enhancing Technologies [electronic resource] : 5th International Workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005, Revised Selected Papers

0
索取号：
作者：Danezis、 George.、Martin、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Perception and Interactive Technologies [electronic resource] : International Tutorial and Research Workshop, PIT 2006 Kloster Irsee, Germany, June 19-21, 2006. Proceedings

0
索取号：
作者：Andr茅、 Elisabeth.、Dybkj忙r、 Laila.、Minker、 Wolfgang.、Neumann、 Heiko.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Self-Managed Networks, Systems, and Services [electronic resource] : Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings

0
索取号：
作者：Keller、 Alexander.、Martin-Flatin、 Jean-Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Graphics Recognition. Ten Years Review and Future Perspectives [electronic resource] : 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

0
索取号：
作者：Liu、 Wenyin.、Llad贸s、 Josep.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Product-Focused Software Process Improvement [electronic resource] : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

0
索取号：
作者：M眉nch、 J眉rgen.、Vierimaa、 Matias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reliable Software Technologies-Ada-Europe 2006 [electronic resource] : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

0
索取号：
作者：Pinho、 Lu铆s Miguel.、Gonz谩lez Harbour、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reuse of Off-the-Shelf Components [electronic resource] : 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

0
索取号：
作者：Morisio、 Maurizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Experimental Algorithms [electronic resource] : 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

0
索取号：
作者：脌lvarez、 Carme.、Serna、 Mar铆a.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Ontologies for Software Engineering and Software Technology [electronic resource]

0
索取号：
作者：Calero、 Coral.、Ruiz、 Francisco.、Piattini、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Robust Numerical Methods for Singularly Perturbed Differential Equations [electronic resource] : Convection-Diffusion-Reaction and Flow Problems

0
索取号：
作者：Roos、 Hans-G枚rg.、Stynes、 Martin.、Tobiska、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Ku艧adasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Dikenelli、 O臒uz.、Gleizes、 Marie-Pierre.、Ricci、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005

0
索取号：
作者：de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.